Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
51	Abstract Interpretation Jan Midtgaard Winter School, Day 1 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015 Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-02 14:24:45 Compiler construction Programming language implementation Syntax Compiler Radhia Cousot Semantics Parsing Abstract interpretation Abstract syntax tree Lexical analysis XPL Analysis
52	Microsoft PowerPoint - Writing&Publishing(JiangCompatibility Mode] Add to Reading List Source URL: fromto.hig.se Language: English - Date: 2015-12-10 04:15:00 Information science Technical communication Urban studies and planning Geographic data and information Publishing Geographic information science Geographic information system Abstract Bin Jiang Cartography Scientific literature Space syntax
53	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
54	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
55	Mark Addis. Categorical Abstract Model Theory and the Syntax of Scientific Theories There is a problematic discrepancy between current ways of characterising the semantics of mathematical theories and much philosophical Add to Reading List Source URL: www.thebsps.org Language: English - Date: 2016-05-28 03:54:00 Philosophy of science Randomness Critical thinking Philosophy of thermal and statistical physics Physics beyond the Standard Model Quantum mechanics Randomized controlled trial Quantum gravity Underdetermination Entropy Theory Theoretical physics
56	Timofey Arkhangelskiy and Maria Usacheva Syntactic and Morphosyntactic Properties of Postpositional Phrases in Beserman Udmurt as Part-of-Speech Criteria Abstract Add to Reading List Source URL: www.linguistics.fi Language: English - Date: 2016-01-25 16:26:23 Syntax Grammar Preposition and postposition Grammatical case Inflection Adpositional phrase Oromo language Clitic
57	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
58	Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:20 C++ Method Object-oriented programming languages Java Type theory Trait Multiple inheritance Mixin Mutator method Java syntax Inheritance Parameter
59	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
60	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 15:59:12 Functional programming Data types Control flow Eval Interpreter Syntax Abstract syntax Const Higher-order function Monad Programming language

UPDATE